A Pattern Language for Pattern Languages
mcqn.netยท6h
๐Backus-Naur Form
Flag this post
Pitch Multiplication (2017)
๐ถLattice Theory
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท21h
โ๏ธInference Rules
Flag this post
Langโs theorem โ Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comยท9h
๐งฎCombinator Calculus
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Set theory with types
๐ฏType Theory
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท8h
๐๏ธType Indexing
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
๐งฎCombinator Calculus
Flag this post
Why Not Just Train For Interpretability?
lesswrong.comยท1d
๐ฑMinimal Interpreters
Flag this post
RFT Theorems
๐ขAlgebraic Datatypes
Flag this post
Post-Conj update
๐ฎClojure
Flag this post
Is Matrix Multiplication Ugly?
๐ซEffect Systems
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.orgยท2d
๐ชRecursive Descent
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
๐๏ธTerm Indexing
Flag this post
original โ
zylstra.orgยท5h
๐ฒTree-sitter
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.comยท1d
๐Rope Editors
Flag this post
Meditations on geometric packing
shvbsle.inยท20h
๐Effect Rows
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
๐Row Typing
Flag this post
Show HN: Wolfrominoes
๐งฎCombinator Calculus
Flag this post
<p>**์์ฝ:** ๋ณธ ์ฐ๊ตฌ๋ ํ๋ญ์ธ์์ด์
์ ๋ฆฌ (Fluctuation Theorem, FT)๋ฅผ ๊ธฐ๋ฐ์ผ๋ก ํ๋ฅ ์ ํํ ๋ฐ์ ๋คํธ์ํฌ(Stochastic Chemical Reaction Network, SCRN)๋ฅผ ๋ชจ๋ธ๋งํ๊ณ ์ ์ดํ๋ ์๋ก์ด ํ๋ ์์ํฌ๋ฅผ ์ ์ํ๋ค. SCRN ๋ชจ๋ธ๋ง์ ์์ฒด ...
freederia.comยท1d
๐Backus-Naur Form
Flag this post
Loading...Loading more...